perm filename ROTDAT.A79[ROT,WD]1 blob
sn#421011 filedate 1979-02-19 generic text, type T, neo UTF8
00100 (SETQ COUNTER (QUOTE
00200 ((10 (1 0)
00300 (0 1 1) (1 1 0) (2 1 0) (3 1 0) (4 1 0)
00400 (5 1 0) (6 1 0) (7 1 0) (8 1 0) (9 1 0))
00500 (10 (0 1)
00600 (0 1 1) (1 1 0) (2 1 0) (3 1 0) (4 1 0)
00700 (5 1 0) (6 1 0) (7 1 0) (8 1 0) (9 1 0))
00800 (10 (0 1)
00900 (0 1 1) (1 1 0) (2 1 0) (3 1 0) (4 1 0)
01000 (5 1 0) (6 1 0) (7 1 0) (8 1 0) (9 1 0))
01100 (10 (0 1)
01200 (0 1 1) (1 1 0) (2 1 0) (3 1 0) (4 1 0)
01300 (5 1 0) (6 1 0) (7 1 0) (8 1 0) (9 1 0))
01400 (10 (0 1)
01500 (0 1 0) (1 1 0) (2 1 0) (3 1 0) (4 1 0)
01600 (5 1 0) (6 1 0) (7 1 0) (8 1 0) (9 1 0)))))
01700
00100 (SETQ D2A (QUOTE
00200 ((10 (3 1)
00300 (0 1 1) (1 1 0) (2 1 1) (3 1 0) (4 1 0)
00400 (5 1 0) (6 1 0) (7 1 1) (8 1 0) (9 1 0))
00500 (10 (1 3)
00600 (0 1 0) (1 1 0) (2 1 0) (3 1 0) (4 1 0)
00700 (5 1 0) (6 1 0) (7 1 0) (8 1 0) (9 1 0)))))
00800
00900 (SETQ D2B (QUOTE
01000 ((10 (3 1)
01100 (0 1 1) (1 1 1) (2 1 0) (3 1 0) (4 1 0)
01200 (5 1 0) (6 1 0) (7 1 1) (8 1 0) (9 1 0))
01300 (10 (1 3)
01400 (0 1 0) (1 1 0) (2 1 0) (3 1 0) (4 1 0)
01500 (5 1 0) (6 1 0) (7 1 0) (8 1 0) (9 1 0)))))
01600
01700 (SETQ D2C (QUOTE
01800 ((10 (3 1)
01900 (0 1 1) (1 1 1) (2 1 0) (3 1 0) (4 1 0)
02000 (5 1 0) (6 1 0) (7 1 1) (8 1 0) (9 1 0))
02100 (10 (7 1)
02200 (0 1 0) (1 1 0) (2 1 0) (3 1 0) (4 1 0)
02300 (5 1 0) (6 1 0) (7 1 0) (8 1 0) (9 1 0)))))
02400
02500 (SETQ D2D (QUOTE
02600 ((10 (1 1)
02700 (0 1 1) (1 1 0) (2 1 0) (3 1 0) (4 1 1)
02800 (5 1 0) (6 1 0) (7 1 1) (8 1 0) (9 1 0))
02900 (10 (1 1)
03000 (0 1 0) (1 0 0) (2 0 0) (3 1 0) (4 0 0)
03100 (5 0 0) (6 0 0) (7 1 0) (8 0 0) (9 0 0)))))
03200
03300 (SETQ D2E (QUOTE
03400 ((10 (1 1)
03500 (0 1 1) (1 1 0) (2 1 0) (3 1 0) (4 1 1)
03600 (5 1 0) (6 1 0) (7 1 1) (8 1 0) (9 1 0))
03700 (10 (1 1)
03800 (0 0 0) (1 0 0) (2 0 0) (3 1 0) (4 0 0)
03900 (5 1 0) (6 0 0) (7 0 0) (8 1 0) (9 0 0)))))
04000
00100 (SETQ D3A (QUOTE
00200 ((10 (3 1)
00300 (0 1 1) (1 1 1) (2 1 0) (3 1 0) (4 1 0)
00400 (5 1 0) (6 1 0) (7 1 1) (8 1 0) (9 1 0))
00500 (10 (7 1)
00600 (0 1 0) (1 1 0) (2 1 0) (3 1 0) (4 1 0)
00700 (5 1 0) (6 1 0) (7 1 0) (8 1 0) (9 1 0))
00800 (10 (1 3)
00900 (0 1 0) (1 1 0) (2 1 0) (3 1 0) (4 1 0)
01000 (5 1 0) (6 1 0) (7 1 0) (8 1 0) (9 1 0)))))
01100
00100 (SETQ D5A (QUOTE
00200 ((10 (1 0)
00300 (0 1 1) (1 1 1) (2 1 0) (3 1 0) (4 1 0)
00400 (5 1 0) (6 1 0) (7 1 1) (8 1 0) (9 1 0))
00500 (10 (0 1)
00600 (0 1 0) (1 1 0) (2 1 1) (3 1 0) (4 1 1)
00700 (5 1 0) (6 1 1) (7 1 0) (8 1 0) (9 1 0))
00800 (10 (0 1)
00900 (0 1 0) (1 1 0) (2 1 0) (3 1 0) (4 1 1)
01000 (5 1 1) (6 1 1) (7 1 0) (8 1 0) (9 1 0))
01100 (10 (0 1)
01200 (0 1 0) (1 1 0) (2 1 0) (3 1 1) (4 1 0)
01300 (5 1 0) (6 1 0) (7 1 0) (8 1 1) (9 1 1))
01400 (10 (0 1)
01500 (0 1 0) (1 1 0) (2 1 0) (3 1 0) (4 1 0)
01600 (5 1 0) (6 1 0) (7 1 0) (8 1 0) (9 1 0)))))
01700
01800 (SETQ D5B (QUOTE
01900 ((10 (1 0)
02000 (0 1 1) (1 1 1) (2 1 0) (3 1 1) (4 1 1) (5 1 1) (6 1 0) (7 1 1) (8 1 1) (9 1 0))
02100 (10 (0 1)
02200 (0 1 0) (1 1 0) (2 1 1) (3 1 0) (4 1 1) (5 1 0) (6 1 0) (7 1 1) (8 1 0) (9 1 0))
02300 (10 (0 1)
02400 (0 1 1) (1 1 1) (2 1 0) (3 1 0) (4 1 1) (5 1 1) (6 1 1) (7 1 0) (8 1 1) (9 1 1))
02500 (10 (0 1)
02600 (0 1 0) (1 1 1) (2 1 0) (3 1 1) (4 1 0) (5 1 0) (6 1 0) (7 1 0) (8 1 1) (9 1 0))
02700 (10 (0 1) (0 1 0) (1 1 0) (2 1 0) (3 1 0) (4 1 0) (5 1 0) (6 1 0) (7 1 0) (8 1 0) (9 1 0)))))
02800
02900 (SETQ D5C (QUOTE
03000 ((10 (1 0)
03100 (0 1 1) (1 1 1) (2 1 0) (3 1 1) (4 1 1) (5 1 1) (6 1 0) (7 1 1) (8 1 1) (9 1 0))
03200 (10 (0 1)
03300 (0 1 0) (1 1 1) (2 1 1) (3 1 0) (4 1 1) (5 1 0) (6 1 1) (7 1 1) (8 1 1) (9 1 1))
03400 (10 (0 1)
03500 (0 1 1) (1 1 1) (2 1 0) (3 1 0) (4 1 1) (5 1 1) (6 1 1) (7 1 0) (8 1 1) (9 1 1))
03600 (10 (0 1)
03700 (0 1 1) (1 1 1) (2 1 0) (3 1 1) (4 1 1) (5 1 1) (6 1 0) (7 1 1) (8 1 1) (9 1 0))
03800 (10 (0 1) (0 1 0) (1 1 0) (2 1 0) (3 1 0) (4 1 0) (5 1 0) (6 1 0) (7 1 0) (8 1 0) (9 1 0)))))
03900
00100 (SETQ D5D (QUOTE
00200 ((10 (1 0)
00300 (0 1 1) (1 1 1) (2 1 0) (3 1 1) (4 1 1)
00400 (5 1 1) (6 1 0) (7 1 1) (8 1 1) (9 1 0))
00500 (10 (1 1)
00600 (0 0 0) (1 1 1) (2 0 1) (3 1 0) (4 0 1)
00700 (5 0 0) (6 1 1) (7 0 1) (8 0 1) (9 0 1))
00800 (10 (1 1)
00900 (0 1 1) (1 0 1) (2 1 0) (3 0 0) (4 0 1)
01000 (5 1 1) (6 0 1) (7 0 0) (8 0 1) (9 0 1))
01100 (10 (1 1)
01200 (0 1 1) (1 0 1) (2 0 0) (3 1 1) (4 1 1)
01300 (5 0 1) (6 0 0) (7 0 1) (8 0 1) (9 1 0))
01400 (10 (1 1)
01500 (0 0 0) (1 1 0) (2 0 0) (3 0 0) (4 0 0)
01600 (5 0 0) (6 0 0) (7 0 0) (8 1 0) (9 0 0)))))
01700
01800 (SETQ D5E (QUOTE
01900 ((10 (1 0)
02000 (0 1 1) (1 1 1) (2 1 0) (3 1 0) (4 1 0)
02100 (5 1 0) (6 ↓ 0) (7 1 1) (8 1 0) (9 1 0))
02200 (10 (1 1)
02300 (0 0 0) (1 1 0) (2 1 1) (3 0 0) (4 0 1)
02400 (5 0 0) (6 0 1) (7 1 0) (8 0 0) (9 0 0))
02500 (10 (1 1)
02600 (0 1 0) (1 0 0) (2 0 0) (3 1 0) (4 0 1)
02700 (5 1 1) (6 0 1) (7 0 0) (8 0 0) (9 0 0))
02800 (10 (1 1)
02900 (0 0 0) (1 0 0) (2 0 0) (3 1 1) (4 0 0)
03000 (5 1 0) (6 0 0) (7 0 0) (8 0 1) (9 1 1))
03100 (10 (1 1)
03200 (0 1 0) (1 0 0) (2 1 0) (3 0 0) (4 0 0)
03300 (5 0 0) (6 0 0) (7 0 0) (8 1 0) (9 0 0)))))
03400
00100 (SETQ H5A (QUOTE
00200 ((16 (1 0)
00300 (0 1 1) (1 1 1) (2 1 0) (3 1 1) (4 1 1) (5 1 1) (6 1 0) (7 1 1)
00400 (8 1 1) (9 1 0) (10 1 0) (11 1 0) (12 1 1) (13 1 0) (14 1 1) (15 1 0))
00500 (16 (0 1)
00600 (0 1 0) (1 1 0) (2 1 1) (3 1 0) (4 1 1) (5 1 0) (6 1 0) (7 1 1)
00700 (8 1 1) (9 1 0) (10 1 0) (11 1 1) (12 1 0) (13 1 0) (14 1 1) (15 1 1))
00800 (16 (0 1)
00900 (0 1 1) (1 1 0) (2 1 0) (3 1 1) (4 1 0) (5 1 1) (6 1 0) (7 1 1)
01000 (8 1 1) (9 1 1) (10 1 0) (11 1 1) (12 1 0) (13 1 1) (14 1 0) (15 1 1))
01100 (16 (0 1)
01200 (0 1 0) (1 1 0) (2 1 1) (3 1 1) (4 1 1) (5 1 1) (6 1 1) (7 1 0)
01300 (8 1 1) (9 1 0) (10 1 1) (11 1 0) (12 1 1) (13 1 0) (14 1 1) (15 1 0))
01400 (16 (0 1) (0 1 0) (1 1 0) (2 1 0) (3 1 0) (4 1 0) (5 1 0) (6 1 0) (7 1 0)
01500 (8 1 0) (9 1 0) (10 1 0) (11 1 0) (12 1 0) (13 1 0) (14 1 0) (15 1 0)))))
01600
00100 (SETQ RM (QUOTE ((10 (2 2)
00200 (1 1 0) (2 1 0) (3 1 1) (4 1 1)
00300 (6 1 0) (7 1 0) (9 1 0))
00400 (10 (5 5) (0 1 1) (1 1 0) (3 1 0) (4 1 0)
00500 (5 1 0) (6 1 0) (7 1 0) (8 1 1) (9 1 0))
00600 (10 (3 3)
00700 (0 1 0) (1 1 1) (2 1 0) (3 1 0) (4 1 0)
00800 (5 1 0) (6 1 1) (7 1 0) (8 1 0) (9 1 0)))))
00900
01000 (SETQ SM (QUOTE ((10 (1 1) (0 1 0) (1 1 0) (2 1 0) (3 1 0) (4 1 0) (5 1 0) (6 1 0))
01100 (10 (1 1) (0 1 0) (1 1 0) (2 1 0) (3 1 0) (4 1 0) (5 1 0) (6 1 0) (7 1 0) (8 1 0))
01200 (10 (1 1) (0 1 0) (1 1 0) (2 1 0) (3 1 0) (4 1 0) (5 1 0) (6 1 0) (7 1 0) (8 1 0) (9 1 0)))))
01300
00100 (SETQ DM1 (QUOTE ((10 (1 1) (0 1 1) (1 1 0) (2 1 0) (3 1 0) (4 1 0) (5 1 0) (6 1 0) (7 1 0) (8 1 0) (9))
00200 (10 (1 1) (0 1 1) (1 1 0) (2 1 0) (3 1 0) (4 1 0) (5 1 0) (6 1 0) (7 1 0) (8 1 0) (9 1 0))
00300 (10 (1 1)
00400 (0 1 1)
00500 (1 1 0)
00600 (2 1 0)
00700 (3 1 0)
00800 (4 1 0)
00900 (5 1 0)
01000 (6 1 0)
01100 (7 1 0)
01200 (8 1 0)
01300 (9 1 0)))))
01400
01500 (SETQ DM2 (QUOTE ((10 (1 1)
01600 (0 1 1)
01700 (1 1 0)
01800 (2 1 0)
01900 (3 1 0)
02000 (4 1 0)
02100 (5 1 1)
02200 (6 1 0)
02300 (7 1 0)
02400 (8 1 0)
02500 (9 1 0))
02600 (10 (1 1)
02700 (0 1 1)
02800 (1 1 0)
02900 (2 1 0)
03000 (3 1 0)
03100 (4 1 0)
03200 (5 1 1)
03300 (6 1 0)
03400 (7 1 0)
03500 (8 1 0)
03600 (9 1 0))
03700 (10 (1 1)
03800 (0 1 1)
03900 (1 1 0)
04000 (2 1 0)
04100 (3 1 0)
04200 (4 1 0)
04300 (5 1 1)
04400 (6 1 0)
04500 (7 1 0)
04600 (8 1 0)
04700 (9 1 0)))))
04800
04900 (SETQ BM (QUOTE (
05000 (36 (19 19) (0 1 0) (1 1 0) (2 1 0) (6 1 1) (7 1 0) (9 1 0) (10 1 0)
05100 (12 1 0) (14 1 0) (16 1 0) (17 1 0) (18 1 0) (21 1 0) (22 1 1) (23 1 0)
05200 (24 1 0) (25 1 0) (27 1 1) (28 1 0) (30 1 0) (31 1 0) (33 1 0) (34 1 0))
05300
05400 (36 (13 13) (0 1 0) (2 1 0) (3 1 0) (5 1 0) (6 1 0) (7 1 0) (8 1 0) (9 1 0) (10 1 0) (11 1 0)
05500 (12 1 0) (13 1 1) (14 1 0) (16 1 0) (17 1 0) (18 1 0) (19 1 0) (20 1 0) (21) (23 1 0)
05600 (24 1 0) (25 1 0) (26 1 0) (28 1 0) (29 1 1) (30 1 0) (31 1 0) (32 1 1) (33 1 0) (35 1 0))
05700
05800 (36 (17 17) (0 1 0) (1 1 0) (2 1 0) (3 1 0) (4 1 0) (5 1 0) (6 1 0) (7 1 0) (8 1 0) (9 1 1) (10 1 0) (11 1 0)
05900 (12 1 0) (14 1 0) (15 1 0) (16 1 0) (17 1 0) (19 1 0) (20 1 0) (21 1 0) (22 1 0) (23 1 0)
06000 (24 1 1) (26 1 0) (27 1 0) (28 1 0) (29 1 0) (30 1 0) (31 1 0) (32 1 0) (33 1 0) (34 1 0) (35 1 0))
06100
06200 (36 (11 11) (0 1 0) (1 1 0) (2 1 0) (3 1 1) (4 1 0) (5 1 0) (6 1 0) (7 1 0) (9 1 0) (10 1 0) (11 1 0)
06300 (12 1 1) (13 1 0) (14 1 0) (15 1 0) (16 1 0) (17 1 0) (18 1 0) (19 1 0) (20 1 0) (21 1 0) (22 1 0) (23 1 0)
06400 (24 1 0) (25 1 0) (26 1 0) (27 1 0) (28 1 0) (29 1 0) (30 1 0) (31 1 1) (32 1 0) (33 1 0) (34 1 0) (35DI 1 0)
06500
06600 (36 (1 1) (0 1 0) (1 1 0) (2 1 0) (3 1 0) (4 1 0) (5 1 0) (6 1 0) (7 1 0) (8 1 0) (9 1 0) (10 1 0) (11 1 0)
06700 (12 1 0) (13 1 0) (14 1 0) (15 1 0) (16 1 0) (17 1 0) (18 1 0) (19 1 0) (20 1 0) (21 1 0) (22 1 0) (23 1 0)
06800 (24 1 0) (25 1 0) (26 1 0) (27 1 0) (28 1 0) (29 1 0) (30 1 0) (31 1 0) (32 1 0) (33 1 0) (34 1 0) (35 1 0))
06900
07000 )))))))))
07100